1. Theorem proving in higher order logics
پدیدآورنده : Stefan Berghofer ... [et al.] (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
T646
2009
